Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Fixed points and amenability in non-positive curvature

Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the torsion-free case. We establish Levi decompositions for stabilisers of points at infinity of X, generalising the case of linear algebraic groups to Is(X). A geometric counterpart of this sheds light on the refined bordification of X (\`a la Karpelevich) and leads to a converse to the Adams-Ballmann theorem. It is further deduced that unimodular cocompact groups cannot fix any point at infinity except in the Euclidean factor; this fact is needed for the study of CAT(0) lattices. Various fixed point results are derived as illustrations.Comment: 33 page

Publishing and sharing multi-dimensional image data with OMERO

Imaging data are used in the life and biomedical sciences to measure the molecular and structural composition and dynamics of cells, tissues, and organisms. Datasets range in size from megabytes to terabytes and usually contain a combination of binary pixel data and metadata that describe the acquisition process and any derived results. The OMERO image data management platform allows users to securely share image datasets according to specific permissions levels: data can be held privately, shared with a set of colleagues, or made available via a public URL. Users control access by assigning data to specific Groups with defined membership and access rights. OMERO’s Permission system supports simple data sharing in a lab, collaborative data analysis, and even teaching environments. OMERO software is open source and released by the OME Consortium at www.openmicroscopy.org

Projective center point and Tverberg theorems

We present projective versions of the center point theorem and Tverberg's theorem, interpolating between the original and the so-called "dual" center point and Tverberg theorems. Furthermore we give a common generalization of these and many other known (transversal, constraint, dual, and colorful) Tverberg type results in a single theorem, as well as some essentially new results about partitioning measures in projective space.Comment: 10 page

Increased Number of Cerebellar Granule Cells and Astrocytes in the Internal Granule Layer in Sheep Following Prenatal Intra-amniotic Injection of Lipopolysaccharide

Chorioamnionitis is an important problem in perinatology today, leading to brain injury and neurological handicaps. However, there are almost no data available regarding chorioamnionitis and a specific damage of the cerebellum. Therefore, this study aimed at determining if chorioamnionitis causes cerebellar morphological alterations. Chorioamnionitis was induced in sheep by the intra-amniotic injection of lipopolysaccharide (LPS) at a gestational age (GA) of 110 days. At a GA of 140 days, we assessed the mean total and layer-specific volume and the mean total granule cell (GCs) and Purkinje cell (PC) number in the cerebelli of LPS-exposed and control animals using high-precision design-based stereology. Astrogliosis was assessed in the gray and white matter (WM) using a glial fibrillary acidic protein staining combined with gray value image analysis. The present study showed an unchanged volume of the total cerebellum as well as the molecular layer, outer and inner granular cell layers (OGL and IGL, respectively), and WM. Interestingly, compared with controls, the LPS-exposed brains showed a statistically significant increase (+20.4%) in the mean total number of GCs, whereas the number of PCs did not show any difference between the two groups. In addition, LPS-exposed animals showed signs of astrogliosis specifically affecting the IGL. Intra-amniotic injection of LPS causes morphological changes in the cerebellum of fetal sheep still detectable at full-term birth. In this study, changes were restricted to the inner granule layer. These cerebellar changes might correspond to some of the motor or non-motor deficits seen in neonates from compromised pregnancies

The effect of electroporation pulses on functioning of the heart

Electrochemotherapy is an effective antitumor treatment currently applied to cutaneous and subcutaneous tumors. Electrochemotherapy of tumors located close to the heart could lead to adverse effects, especially if electroporation pulses were delivered within the vulnerable period of the heart or if they coincided with arrhythmias of some types. We examined the influence of electroporation pulses on functioning of the heart of human patients by analyzing the electrocardiogram. We found no pathological morphological changes in the electrocardiogram; however, we demonstrated a transient RR interval decrease after application of electroporation pulses. Although no adverse effects due to electroporation have been reported so far, the probability for complications could increase in treatment of internal tumors, in tumor ablation by irreversible electroporation, and when using pulses of longer durations. We evaluated the performance of our algorithm for synchronization of electroporation pulse delivery with electrocardiogram. The application of this algorithm in clinical electroporation would increase the level of safety for the patient and suitability of electroporation for use in anatomical locations presently not accessible to existing electroporation devices and electrodes

Synthetic biology approaches in drug discovery and pharmaceutical biotechnology

Synthetic biology is the attempt to apply the concepts of engineering to biological systems with the aim to create organisms with new emergent properties. These organisms might have desirable novel biosynthetic capabilities, act as biosensors or help us to understand the intricacies of living systems. This approach has the potential to assist the discovery and production of pharmaceutical compounds at various stages. New sources of bioactive compounds can be created in the form of genetically encoded small molecule libraries. The recombination of individual parts has been employed to design proteins that act as biosensors, which could be used to identify and quantify molecules of interest. New biosynthetic pathways may be designed by stitching together enzymes with desired activities, and genetic code expansion can be used to introduce new functionalities into peptides and proteins to increase their chemical scope and biological stability. This review aims to give an insight into recently developed individual components and modules that might serve as parts in a synthetic biology approach to pharmaceutical biotechnology

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for R-parity-violating supersymmetry in events with four or more leptons in sqrt(s) =7 TeV pp collisions with the ATLAS detector

A search for new phenomena in final states with four or more leptons (electrons or muons) is presented. The analysis is based on 4.7 fb−1 of $\sqrt{s}=7\;\mathrm{TeV}$ proton-proton collisions delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in two signal regions: one that requires moderate values of missing transverse momentum and another that requires large effective mass. The results are interpreted in a simplified model of R-parity-violating supersymmetry in which a 95% CL exclusion region is set for charged wino masses up to 540 GeV. In an R-parity-violating MSUGRA/CMSSM model, values of m 1/2 up to 820 GeV are excluded for 10 < tan β < 40